Programming language implementation - PDFSEARCH.IO - Document Search Engine

Programming language implementation
Results: 1978

#	Item
651	Par4All: From Convex Array Regions to Heterogeneous Computing Mehdi Amini1,2 Béatrice Creusillet2 Stéphanie Even2 Ronan Keryell2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2012-02-02 05:11:34 Parallel computing GPGPU Graphics hardware Video cards Programming language implementation OpenMP CUDA OpenCL Automatic parallelization Computing Software Computer programming
652	The Design and Implementation of BER MetaOCaml System Description http://okmij.org/ftp/ML/MetaOCaml.html Add to Reading List Source URL: okmij.org Language: English - Date: 2014-06-05 20:02:39 Functional languages Cross-platform software Lisp programming language Procedural programming languages Data types Eval Lisp OCaml Type system Computing Software engineering Computer programming
653	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:41 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
654	GRAPHITE: Polyhedral Analyses and Optimizations for GCC Sebastian Pop 1 , Albert Cohen 2 , C´edric Bastoul 2, Sylvain Girbal 2 , Georges-Andr´e Silber 1 , Nicolas Vasilache Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-07-31 09:58:22 Compiler construction Compilers GNU Compiler Collection Static single assignment form Graphite Open64 Aliasing Compiler Software Programming language implementation Computing
655	AN INTRODUCTION TO RADARE2 AN INTRODUCTION TO RADARE2 {alu\|l0gic} April 7, 2011 Add to Reading List Source URL: radare.org Language: English - Date: 2011-04-07 17:38:57 Shellcode Reverse engineering Compiler Binary star Technology Programming language implementation Software Computing
656	Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:00:24 Type theory Formal methods Type systems Constraint programming Satisfiability Modulo Theories Type inference Logic programming Hindley–Milner Algorithm Mathematics Theoretical computer science Applied mathematics
657	Event Manager: OrganizeD BY: 18-20 November 2013 Add to Reading List Source URL: www.gcc-cigre-power.com Language: English - Date: 2013-08-28 03:38:40 GNU Compiler Collection Software Programming language implementation Compilers
658	The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation Sebastian Pop Albert Cohen Pierre Jouvelot Georges-Andr´e Silber CRI, Ecole des mines de Paris, Fontainebleau, France ALCHEMY, INRIA Fu Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-02-10 18:39:21 Compiler construction Compiler optimizations Static single assignment form Compilers GNU Compiler Collection Loop optimization Prolog Vectorization Compiler Software Computing Programming language implementation
659	The SSA Representation Framework: Semantics, Analyses and GCC Implementation The SSA Representation Framework: Semantics, Analyses and GCC Implementation Sebastian Pop ´ Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-12-13 17:37:56 Computing Static single assignment form GNU Compiler Collection Compiler Programming language Software Programming language implementation Compiler construction
660	Erbium: A Deterministic, Concurrent Intermediate Representation for Portable and Scalable Performance Cupertino Miranda1 , Philippe Dumont1,2 , Albert Cohen1 , Marc Duranton2 and Antoniu Pop3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-01-25 11:25:30 Programming language implementation Models of computation Compiler construction Cross-platform software Procedural programming languages Kahn process networks Compiler Ada Denotational semantics Computing Software engineering Software

UPDATE